Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
121	On the Role of Discourse Markers for Discriminating Claims and Premises in Argumentative Discourse Judith Eckle-Kohler1 Roland Kluge3 Iryna Gurevych1,2 1 UKP Lab, Technische Universit¨at Darmstadt 2 Add to Reading List Source URL: www.ukp.tu-darmstadt.de Language: English - Date: 2015-08-14 02:59:38 Arguments Critical thinking Debating Semantics Logic Reason Premise Discourse Rhetoric Linguistics Annotation Contrast
122	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
123	Towards a Fully-Parallel DLV System Simona Perri, Francesco Ricca, and Marco Sirianni Department of Mathematics University of CalabriaRende, Italy perri,ricca, Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 06:37:26 Logic programming DLV Answer set programming Stable model semantics Heuristic Parsing
124	IMPLEMENTING DIRECT REFLECTION IN NUPRL A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-09-14 17:08:59 Grammar Philosophy of language Type theory Automated theorem proving Nuprl Syntax Semantics Meaning Reflection Mathematical logic Web Ontology Language
125	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame
126	EUROPEAN PATENT OFFICE U.S. PATENT AND TRADEMARK OFFICE CPC NOTICE OF CHANGES 242 DATE: AUGUST 1, 2016 PROJECT DP0166 Add to Reading List Source URL: www.cooperativepatentclassification.org Language: English - Date: 2016-07-18 10:18:32 Definition Lexicography Meaning Philosophical logic Philosophy of language Semantics Concordance Layer Communist Party of Canada
127	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 27–51 http://www.cssp.cnrs.fr/eiss8 Move and accommodate: Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:01 Semantics Philosophy of language Quantification Predicate logic Pragmatics Presupposition Definite description Quantifier Proposition Generalized quantifier Accommodation Boolean algebra
128	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:22 Meaning Philosophical logic Analytic philosophers Guggenheim Fellows Semantics Noam Chomsky Donald Davidson Philosophy of language Linguistic competence Speech community Sign Linguistics
129	Chapter 8 A general theory of singularities: Preliminaries I turn now to a general theory of singularities. This chapter covers some preliminary matters, and the formal theory is presented in the next chapter. Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 15:30:59 Philosophical logic Semantics Theories of truth Philosophy of language Meaning Truth Predicate

UPDATE